package org.xtremeobjects.anotations.constraints;

import java.lang.annotation.Retention;
import java.lang.annotation.RetentionPolicy;

/**
 * An invariant is a constraint that states a condition that must 
 * always be met by all instances of the class, type, or interface. 
 * An invariant is described using an expression that evaluates to 
 * true if the invariant is met. 
 * Invariants must be true all the time.
 * @author Juan
 *
 */
@Retention(value=RetentionPolicy.RUNTIME)
public @interface Inv {

}
